Transposons that clean up after themselves

Programs that Model Themselves

Work on reeection has frequently concentrated on programming languages and operating systems. This work either involves the use of tower reeection or meta-object protocols. The subject of this paper is a diierent form of reeection that is, we believe, more powerful and fundamental than the other kinds. Self modelling is a process that has not received attention in the literature; indeed, we bel...

Agents That Model Themselves

In this paper, we adopt a symbolic interactionist perspective on Multi-Agent Systems. We investigate the uses and genesis of agent models, both Self and acquaintance models and argue that the symbolic interactionist view is superior to the ad hoc, static and somewhat low-level approach adopted at present. We consider agent models|both Self and acquaintance models|as devices for making predictio...

Things That Change by Themselves

Some fluents (for instance, time) change even after events that are not assumed to affect them (such as the action wait). We propose a formal-ization of the "commonsense law of inertia" in the situation calculus that allows us to describe such fluents. 1 Introduction The frame problem in Artificial Intelligence is the problem of specifying formally "what doesn't change when an event occurs" in ...

Generating Plans that Predict Themselves

Collaboration requires coordination, and we coordinate by anticipating our teammates’ future actions and adapting to their plan. In some cases, our teammates’ actions early on can give us a clear idea of what the remainder of their plan is, i.e. what action sequence we should expect. In others, they might leave us less confident, or even lead us to the wrong conclusion. Our goal is for robot ac...

Expressions That Talk About Themselves